$\forall$$A$, $B$, $C$:MsgA. ($A$ $\Vert\!+$ $B$) $\Rightarrow$ ($A$ $\Vert\!+$ $C$) $\Rightarrow$ ($B$ $\Vert\!+$ $C$) $\Rightarrow$ ($A$ $\oplus$ $B$ $\Vert\!+$ $C$)